Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



Pecet gada przez sen

7 maja 2009, 19:58

Specjaliści z Microsoft Research we współpracy z naukowcami z Uniwersytetu Kalifornijskiego w San Diego opracowali prototypowe urządzenie, które umożliwia komputerowi komunikację w stanie uśpienia. Standardowy pecet czy laptop może albo być aktywny, wówczas jest w pełni gotowy do pracy i pobiera sporo energii nawet gdy nic na nim nie robimy, albo uśpiony, a wówczas komputer nie wykonuje żadnych zadań.


Amfory nie tylko do wina

17 października 2011, 15:56

Starożytne greckie amfory są powszechnie kojarzone z pojemnikami do przechowywania wina i oliwy. Najnowsze badania śladów DNA pozostawionych na ściankach naczyń wskazują jednak, że amfory były znacznie szerzej wykorzystywane.


Rdzenie graficzne Nvidii dla Intela

15 listopada 2006, 11:36

Jen Hsun Huang, szef Nvidii, zapowiedział, że jego firma zaoferuje chipsety dla procesorów Intela z wbudowanym rdzeniem graficznym. To duża zmiana w podejściu Nvidii, która dotychczas koncentrowała się na rynku najbardziej wydajnych platform Intela.


W jaskini pod zamkiem w Olsztynie odkryto narzędzia neandertalczyków

2 sierpnia 2019, 09:28

W jaskini znajdującej się na terenie zamku w Olsztynie koło Częstochowy znaleziono setki krzemiennych narzędzi wykonanych ręka neandertalczyka. Olsztyński zamek to jedna z największych tego typu budowli na Jurze Krakowsko-Częstochowskiej.


Chińczycy dotrzymali słowa i dowodzą kwantowej supremacji na większej macierzy

28 października 2021, 13:27

Chińscy naukowcy ogłosili, że dotrzymali słowa danego w grudniu ubiegłego roku i ulepszyli swój układ optyczny tak, że przeprowadził kwantowe gaussowskie próbkowanie bozonu na macierzy 144x144. Tym samym potwierdzili, że ich komputer kwantowy osiągnął kwantową supremację, czyli jest w stanie wykonać obliczenia, których komputery klasyczne nie potrafią wykonać w rozsądnym czasie.


Japończycy zwyciężyli

23 grudnia 2013, 09:51

Gill Pratt, który z ramienia DARPA nadzoruje coroczne zawody Robotic Challenge przyznał, że jest mile zaskoczony świetnym wynikiem uzyskanym w bieżącym roku przez japoński Team Schaft. Android zbudowany w Kraju Kwitnącej Wiśni pozostawił konkurencję daleko w tyle zdobywając 27 z 32 punktów


Świetlna fala uderzeniowa w grafenie

13 czerwca 2016, 12:54

Gdy samolot zaczyna poruszać się szybciej od dźwięku, powstaje fala uderzeniowa, tzw. grom dźwiękowy. Teraz grupa naukowców m.in. z MIT przewidziała istnienie podobnego efektu, ale z wykorzystaniem światła poruszającego się w grafenie.


Andy starsze niż myślano

18 maja 2009, 17:02

Andy zaczęły powstawać około 25 milionów lat temu, a nie, jak dotąd sądzono, przed 10 milionami lat. Do takich wniosków doszli naukowcy ze Smithsonian Tropical Research Institute (STRI) w Panamie, uniwersytetu w Poczdamie oraz kolumbijskiej firmy Ecopetrol.


Lodowce Arktyki traciły lód w przeszłości

25 października 2011, 18:15

Od dłuższego czasu media donoszą o niepokojąco dużym cieleniu się lodowców Arktyki. Odrywanie się gór lodowych to jeden ze wskaźników tempa ocieplania się klimatu.


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy